#include "bookpack.h"

void start_kernel(void) { HariMain(); }